منابع مشابه
Typed Contracts for Functional Programming
A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses the design-by-contract approach extensively. Proposals for language extensions that add contracts to higher-order functional programming have appeared recently. In this paper we propose an embedded domain-speci...
متن کاملA Dataflow Implementation Technique for Lazy Typed Functional Languages∗
This paper presents an efficient alternative to the reduction-based implementations of functional languages. The proposed technique systematically eliminates user-defined functions by appropriately introducing context-manipulation operators in the program. An abstract architecture for executing the resulting code is presented. A performance evaluation indicates that the proposed approach perfor...
متن کاملTrue Lies: Lazy Contracts for Lazy Languages Faithfulness is Better than Laziness
Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract monitoring. Contract monitoring for lazy programming languages does not have a generally accepted basis. This paper discusses three approaches, eager, semi-eager, and lazy monitoring, all of which are flawed. The first two may chang...
متن کاملLazy Algorithmic Debugging: Ideas for Practical Implementation
Lazy functional languages have non-strict semantics and are purely declarative, i.e. they support the notion of referential transparency and are devoid of side effects. Traditional debugging techniques are, however, not suited for lazy functional languages since computations generally do not take place in the order one might expect. Since algorithmic debugging allows the user to concentrate on ...
متن کاملPractical Lazy Scheduling in Wireless Sensor Networks
Experience has shown that the power consumption of sensors and other wireless computational devices is often dominated by their communication patterns. We present a practical realization of lazy packet scheduling that attempts to minimize the total transmission energy in a broadcast network by dynamically adjusting each node’s transmission power and rate on a per-packet basis. Lazy packet sched...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2398856.2364539